#ifndef __STDIO_H__
#define __STDIO_H__

#include <inc/stdarg.h>

void printf(const char *fmt, ...) __attribute__ ((format (printf, 1, 2)));
void vprintf(const char *fmt, va_list va) __attribute__ ((format (printf, 1, 0)));

int snprintf(char *str, int size, const char *fmt, ...);
int vsnprintf(char *str, int size, const char *fmt, va_list);

#endif
